Home
Français
Book
-
Jean-François Monin.
Understanding Formal Methods. Springer Verlag,
Foreword by G. Huet. Translation editor M. Hinchey. ISBN 1-85233-247-6.
2002.
bibtex.
Contents.
-
Jean-François Monin.
Introduction aux méthodes formelles. Hermès,
préface de G. Huet. 2-7462-0140-2.
2000.
bibtex.
Français
Home