BibSonomy :: user  :: brenz ::

bookmarks

(69) 

• Alloy Community
  to fnd.lfm akt by brenz on Jul 17, 2008, 9:09 AM
• Software Engineering using Formal Methods - About This Course
  to fnd.lfm akt by brenz on Jul 14, 2008, 2:34 PM
• Doron A. Peled
  to fnd.lfm pers akt by brenz and 1 other person on May 8, 2008, 1:56 PM
• Decision Procedures -- An Algorithmic Point of View
  to fnd.lfm akt by brenz on Apr 22, 2008, 11:56 AM
• Daniel Kroening
  to pers fnd.lfm by brenz on Apr 22, 2008, 11:54 AM
• Decision Procedures -- An Algorithmic Point of View
  to akt fnd.lfm by brenz on Apr 22, 2008, 11:53 AM
• Course on formal methods CMU
  to fnd.lfm akt by brenz on Apr 22, 2008, 11:51 AM
• Tomas E. Uribe's Home Page
  to fnd.lfm pers by brenz on Apr 22, 2008, 11:48 AM
• John Harrison
  homepage formal verification
  to fnd.lfm pers by brenz on Apr 22, 2008, 11:11 AM
• Michael Ernst's home page
  to akt fnd.lfm by brenz on Apr 5, 2008, 3:42 PM
• Factasia Logic
  to fnd.lfm akt by brenz on Mar 20, 2008, 11:02 AM
• Links for "Symbolic Logic"
  to fnd.lfm akt by brenz on Mar 20, 2008, 11:02 AM
• Logic Links
  to fnd.lfm akt by brenz on Mar 20, 2008, 11:01 AM
• Mathematical Logic around the world
  to akt fnd.lfm by brenz on Mar 20, 2008, 11:01 AM
• Department of Computer Science 8 -- Artificial Intelligence: Lectures
  to akt fnd.lfm by brenz on Mar 20, 2008, 9:15 AM
• AssociationForSymbolicLogic
  to akt fnd.lfm by brenz on Mar 20, 2008, 9:08 AM
• Fall 2003: Little Engines of Proof
  to fnd.lfm akt by brenz on Mar 13, 2008, 12:44 PM
• Robert Nieuwenhuis' main publications
  SMT
  to fnd.lfm akt by brenz on Mar 11, 2008, 2:12 PM
• Dr. Rina Dechter @ UCI
  Constraint Programming
  to fnd.lfm pers by brenz and 1 other person on Mar 10, 2008, 6:03 PM
• David G. Mitchell - Publications
  SAT
  to pers fnd.lfm by brenz on Mar 10, 2008, 6:01 PM

publications