Pinnacles of software engineering: 25 years of formal methods
Dines BjørnerVolume:
10
Language:
english
Pages:
56
DOI:
10.1023/a:1018983515535
Date:
November, 2000
File:
PDF, 358 KB
english, 2000