Bibliography
Integration of Semi-Formal and Formal Approaches
Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Integration of semi-formal and formal approaches.
In ECOOP'97, Workshop Nr. 6: Models, Formalisms and Methods for
Distributed Object-Oriented Computing, 9.6.97 in Finnland, 1997.
BibTeX
@INPROCEEDINGS{Diagne+97,
AUTHOR = {Diagne, Alioune and Ili{\'e}, Jean-Michel and Moldt, Daniel},
BOOKTITLE = {ECOOP'97, Workshop Nr.~6: Models, Formalisms and Methods for Distributed Object-Oriented Computing, 9.6.97 in Finnland},
TITLE = {Integration of Semi-Formal and Formal Approaches},
YEAR = 1997
}
