Software specification methods - Frappier, Marc; Habrias, Henri (London ISTE, 2006)
Keywords: Formal methods (Computer Science) -- Computer software - spacifications