Formal Specification is an Experimental Science (in English)



TypeConference paper [With referee]
ConferenceIntl. Conf. on Perspectives of System Informatics
Year1991
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering