Operational semantics based formal symbolic simulation

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)
Original languageEnglish
Title of host publicationHigher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium
EditorsL. Claesen, M. Gordon
Place of PublicationAmsterdam
PublisherNorth-Holland Publishing Company
ISBN (Print)0-444-89880-8
Publication statusPublished - 1992

Publication series

NameIFIP Transactions A : Computer science and technology
ISSN (Print)0926-5473

Cite this