Program specification and verification

Conference Paper uoadl:1046686 361 Read counter

Original Title:
Program specification and verification
Languages of Item:
English
Creator:
Sifakis, Joseph
Main subject category:
Logic
Other subject categories:
Computer science
Keywords:
Program, specification, verification
Pages (from-to):
123-124
The digital material of the item is not available.