1
by Jard, Claude
Published 2010
ISTE, Ltd.
Subjects: ...Formal methods (Computer science) / http://id.loc.gov/authorities/subjects/sh99003622...