CIC:Ledru96

Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, Pages 52-61, 1996.

Contact

Yves Ledru

BibTex Reference

@InProceedings{CIC:Ledru96,
   Author = {Ledru, Y.},
   Title = {Complementing semi-formal specifications with {Z}},
   BookTitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference},
   Pages = {52--61},
   Publisher = {IEEE Computer Society Press},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)