Use of E-LOTOS in Adding Formality to UML

Robert G. Clark, Ana M. D. Moreira. Use of E-LOTOS in Adding Formality to UML. J. UCS, 6(11):1071-1087, 2000. [doi]

Abstract

Abstract is missing.