Details for the publication BohnenkampHJKU04.

Henrik C. Bohnenkamp, Holger Hermanns (), David N. Jansen (), Joost-Pieter Katoen (), Yaroslav S. Usenko: An industrial-strength formal method - A Modest survey. In International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings, volume TR-2004-6 of Technical Report, pages 284-295, 2004. URL BIB