User menu

An Experiment in Formal Software-development - Using the B-theorem Prover On a Vdm Case-study

Bibliographic reference Lafontaine, C. ; Ledru, Y. ; Schobbens, PY.. An Experiment in Formal Software-development - Using the B-theorem Prover On a Vdm Case-study.INTERNATIONAL CONF ON SOFTWARE ENGINEERING ( ICSE 12 ) (NICE(France), Mar, 1990). In: Association for Computing Machinery. Communications, Vol. 34, no. 5, p. 62 (1991)
Permanent URL http://hdl.handle.net/2078.1/63716