CIC:ledru98c

Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In Proceedings of the 13th International Conference on Automated Software Engineering, Honolulu, Octobre 1998.

Contact

Yves Ledru

Référence BibTex

@InProceedings{CIC:ledru98c,
   Author = {Ledru, Y.},
   Title = {Identifying pre-conditions with the {Z/EVES} theorem prover},
   BookTitle = {Proceedings of the 13th International Conference on Automated Software Engineering},
   Publisher = {IEEE Computer Society Press},
   Address = {Honolulu},
   Month = {October},
   Year = {1998}
}

Référence EndNote [help]

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