Searching for authors named Staffan Bonnier – sorted by Relevance.
-
A Proof Method based on Folding Lemmas: Applications to Algorithm Correctness
- A Proof Method based on Folding Lemmas: Applications to Algorithm Correctness Staffan BONNIER
- Add To MetaCart
-
COMPASS: A Comprehensible Assertion Method
- COMPASS: A Comprehensible Assertion Method Staffan Bonnier 1 and Tim Heyer 2 1 Carlstedt
- Cited by 4 (2 self) – Add To MetaCart
-
Logic Programs with External Procedures
- Logic Programs with External Procedures Jan Ma/luszy'nski Staffan Bonnier Johan Boye y
- Cited by 11 (5 self) – Add To MetaCart

