According to Wikipedia,
Professor Dines Bjørner is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM Laboratory Vienna . Later he was involved with producing the RAISE formal method with tool support.
This paper list is powered by the following services:
Dines Bjørner is affiliated with the following schools: