The Expressive Power of Implicit Specifications

Research output: Contribution to journalJournal articleResearchpeer-review

16 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume510
ISSN0302-9743
Publication statusPublished - 1991

Cite this