BibSonomy :: user  :: brenz ::

bookmarks

(27) 

• 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 
• Eric Monfroy
  Université Nantes
  to orc pers by brenz on Jul 25, 2006, 4:43 PM
  spam 
• CrocoPat 2.1 Introduction and Reference Manual
  to db orc fnd.lfm by brenz on Jul 25, 2006, 3:18 PM
  spam 
• USE - A UML-based Specification Environment
  to orc by brenz on Jul 4, 2006, 10:41 AM
  spam 
• Banshee
  to orc by brenz on Jun 20, 2006, 9:40 AM
  spam 
• Abstract State Machines
  to orc by brenz and 1 other person on Jun 9, 2006, 7:31 AM
  spam 
• Livingstone 2 Documentation
  to orc by brenz on Jun 6, 2006, 10:07 AM
  spam 
• Livingstone Reference Manual
  to orc by brenz on Jun 6, 2006, 10:06 AM
  spam 
• 2nd International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security
  to orc by brenz on Jun 2, 2006, 10:21 AM
  spam 
• DFG-Graduiertenkolleg: Mathematische Logik und Anwendungen
  to orc by brenz on Jun 1, 2006, 4:06 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 
• Choco - Wiki
  to orc by brenz on May 30, 2006, 4:23 PM
  spam 
• Cream: Class Library for Constraint Programming in Java
  to orc by brenz on May 30, 2006, 4:15 PM
  spam 
• Relational Methods in Computer Science
  to orc by brenz on May 29, 2006, 10:32 AM
  spam 
• KeY Project: Integrated Deductive Software Design
  to orc by brenz on May 28, 2006, 2:18 PM
  spam 
• JavaSet Home Page
  JSetL
  to orc by brenz on May 26, 2006, 1:20 PM
  spam 
• Logic Group References--References
  to orc by brenz on May 26, 2006, 11:05 AM
  spam 

publications