Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 374-399
An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification
Source
Abstract
Identifiers
series ISSN : | 0302-9743 |
series e-ISSN : | 1611-3349 |
book ISBN : | 978-3-540-23135-6 |
book e-ISBN : | 978-3-540-27863-4 |
DOI | 10.1007/978-3-540-27863-4_21 |