Executable specifications in software reliability engineering

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationWorkshop on Formal Descriptions and Software Reliability
Publisher.
Pages?-?
Publication statusPublished - 1999
EventWorkshop on Formal Descriptions and Software Reliability - Boca Raton, United States
Duration: 31 Oct 199931 Oct 1999

Conference

ConferenceWorkshop on Formal Descriptions and Software Reliability
CountryUnited States
CityBoca Raton
Period31/10/9931/10/99

Cite this