Formal Methods and the Certification of Critical Systems
John Rushby카테고리:
년:
1993
출판사:
Computer Science Laboratory SRI International
언어:
english
페이지:
319
파일:
PDF, 1.97 MB
IPFS:
,
english, 1993