автор: Jawed Siddiqi

Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions