Software specification methods - Habrias, Henri; Frappier, Marc. (Newport Beach, CA : ISTE Ltd, 2006)
1 3
Keywords: Formal methods (Computer science).; Computer software -- Specifications