RT:ledru95e

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

Contact

Yves Ledru

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)