Benjamin Weiß

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

1 EE Benjamin Weiß: Predicate Abstraction in a Program Logic Calculus. IFM 2009: 136-150