Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

More Information

Format: Paperback
Pages: 232
Edition: Softcover reprint of the original 1st ed. 1998
Publisher: Springer
Published: 12 Oct 2012
ISBN 10: 146137569X
ISBN 13: 9781461375692