BibSonomy :: user  :: brenz ::

bookmarks

(6) 

• Yices: An SMT Solver
  to orc fnd.lfm by brenz on Jan 29, 2008, 1:24 PM
  spam 
• πVC: The Pi Verifying Compiler
  to orc fnd.lfm by brenz on Jan 29, 2008, 1:19 PM
  spam 
• Forge: Bounded Program Verification
  to orc fnd.lfm by brenz on Jan 7, 2008, 9:06 AM
  spam 
• Relational Programming
  to orc fnd.lfm by brenz on Aug 4, 2006, 2:41 PM
  spam 
• CrocoPat 2.1 Introduction and Reference Manual
  to db orc fnd.lfm by brenz on Jul 25, 2006, 3:18 PM
  spam 
• CrocoPat: A Tool for Simple and Efficient Relational Computation
  to db orc fnd.lfm by brenz on May 31, 2006, 1:07 PM
  spam 

publications