Next:
Computer & Computing Science
Up:
seminar
Previous:
The Triptych Software Engineering
Contents
Some Background
My writings, [
1
-
6
], do not represent "beaten track" research.
Subsections
Computer & Computing Science
Formal Methods
A State-of-Affairs in Computing Science
Dines Bjorner 2017-01-12