Y. Ledru. Specification and animation of a bank transfer. In Proceedings of the 10th Knowledge-Based Software Engineering Conference, Pages 192-199, Boston, MA, 1995.
@InProceedings{CIC:ledru95c,
Author = {Ledru, Y.},
Title = {{Specification and animation of a bank transfer}},
BookTitle = {Proceedings of the 10th Knowledge-Based Software Engineering Conference},
Pages = {192--199},
Publisher = {IEEE Computer Society Press},
Address = {Boston, MA},
Year = {1995}
}
Get EndNote Reference (.ref)