Extending hoare logic to real-time

Authors
Jozef Hooman
Citation
Jozef Hooman, Extending hoare logic to real-time, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 801-825
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6A
Year of publication
1994
Pages
801 - 825
Database
ACNP
SICI code