Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Anders P. Ravn
,
Zhiming Liu
Details
OL Work ID
OL26467779W
Find this book
Open Library