Home›Books›Formal Methods and Software DevelopmentFormal Methods and Software Developmentby Hartmut EhrigNo description available.Logic designComputer scienceSoftware engineeringDevelopmentSoftwareentwicklungCongressesComputer softwareComputer software, development