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.
Abstract: No abstracts yet.
BibTeX entry
@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
}
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
