TY  - BOOK
AU  - 32
TI  - TOOL SUPPORT FOR SYSTEM SPECIFICATION, DEVELOPMENT AND VERIFICATION
SN  - 9783211832820
ER  -