Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods - 1999 - Springer Berlin Heidelberg 1999 - Lecture Notes in Computer Science .

9783540481195


Computer Science