Home›Books›Formal specification and software developmentFormal specification and software developmentby D. BjørnerNo description available.Computer softwareDevelopmentProgramming languages (Electronic computers)