Assertional specification and verification

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

no abstract.

Original language	English
Title of host publication	Real-time Systems: Specification and Analysis
Editors	M. Joseph
Publisher	Prentice-Hall
Pages	97-146
ISBN (Print)	0-13-455297-0
Publication status	Published - 1996

@inbook{df05dd74a6b24ae9a327cf41fb881edf,

title = "Assertional specification and verification",

abstract = "no abstract.",

author = "J.J.M. Hooman",

year = "1996",

language = "English",

isbn = "0-13-455297-0",

pages = "97--146",

editor = "M. Joseph",

booktitle = "Real-time Systems: Specification and Analysis",

publisher = "Prentice-Hall",

}