Sign in

Bidirectional Translation between OCL and JML for Round-Trip Engineering.

Hiroaki ShimbaKentaro HanadaKozo OkanoShinji Kusumoto
Published in: APSEC (2) (2013)
Keyphrases