RT:ledru95e

Y. Ledru. An introduction to Z and formal methods. Rapport de recherche Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées, 1995.

Contact

Yves Ledru

Référence BibTex

@TechReport{RT:ledru95e,
   Author = {Ledru, Y.},
   Title = {{An introduction to Z and formal methods}},
   Institution = {Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées},
   Year = {1995}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)