Verification of class liveness properties with java modelling language.

Alain Giorgetti Julien Groslambert Jacques Julliand Olga Kouchnarenko

Published in: IET Softw. (2008)

Keyphrases

modelling language
formal semantics
object oriented
information systems
open source
programming language
source code