Funder
Vienna Science and Technology Fund
European Research Council
European Commission
Reference11 articles.
1. Solving Invariant Generation for Unsolvable Loops
2. Operator strength reduction
3. Edsger W. Dijkstra . 1976. A Discipline of Programming . Prentice-Hall . Edsger W. Dijkstra. 1976. A Discipline of Programming. Prentice-Hall.
4. Assigning meanings to programs
5. An axiomatic basis for computer programming