Monografia (1993) Proceedings of the ARO/AFOSR/ONR Workshop Increasing the Practical Impact of Formal Methods for Computer–aided Software Development : software slicing, merging and integration : October 13–15, 1993 U.S. Naval Postgraduate School, Monterey California
Geca 3.0 - go to homepage
