Construction of a specification from its singleton part

R. Fernández, G. Maillard

Research output: Book/ReportReportAcademic

29 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherEurandom
Number of pages19
Publication statusPublished - 2004

Publication series

NameReport Eurandom
Volume2004044
ISSN (Print)1389-2355

Cite this