Pages that link to "Biography:Dines Bjørner"
From HandWiki
The following pages link to Biography:Dines Bjørner:
Displayed 12 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Vienna Development Method (← links)
- Meta-IV (specification language) (← links)
- IFIP Working Group 2.3 (← links)
- Engineering:Rigorous Approach to Industrial Software Engineering (← links)
- Biography:List of programming language researchers (← links)
- Biography:List of computer scientists (← links)
- Biography:Cliff Jones (computer scientist) (← links)
- Biography:Martin Henson (computer scientist) (← links)
- Biography:Zhou Chaochen (← links)
- Biography:Martin Henson (← links)
- Organization:Dansk Datamatik Center (← links)
- Organization:IBM Laboratory Vienna (← links)