World Scientific
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Spring Sale: Get 35% off with a min. purchase of 2 titles. Use code SPRING35. Valid till 31st Mar 2025.

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.
No Access

Chapter 1: Dines Bjørner: Formal Methods Professor

      https://doi.org/10.1142/9781783266449_0001Cited by:0 (Source: Crossref)
      Previous
      Next
      Abstract:

      Professor Dines Bjørner, http://www2.imm.dtu.dk/, is a well-known computing scientist working on formal methods for the specification, development and verification of software and hardware systems. Professor Bjørner worked on VDM: the Vienna Development Method at IBM and was involved in producing RAISE: the Rigorous Approach to Industrial Software Engineering formal method and tools support…