In proceedings details

Combining Object-Oriented Analysis and Formal Description Techniques

Jun 1994

Organization:

Publisher: Springer

Authors: Ana Moreira, Robert Clark

Editors:

Series:

Volume:

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 344 to 364

Publication Date: 1 Jun 1994

Publication File: