Home›Books›FM 2005FM 2005by John Fitzgerald, Andrzej TarleckiNo description available.DevelopmentFormal methods (Computer science)CongressesSystem designComputer softwareComputer science