[IEEE Comput. Sco First IEEE International Conference on Formal Engineering Methods - Hiroshima, Japan (12-14 Nov. 1997)] Proceedings First IEEE International Conference on Formal Engineering Methods - Using CARE to construct verified software
Lindsay, P., Hemer, D.Year:
1997
Language:
english
DOI:
10.1109/ICFEM.1997.630417
File:
PDF, 809 KB
english, 1997