Publication:4427901
From MaRDI portal
zbMath1019.68623MaRDI QIDQ4427901
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant
Publication date: 14 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170142.htm
68U07: Computer science aspects of computer-aided design
Related Items
Answer set programming based on propositional satisfiability, The SAT-based approach to separation logic, A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures
Uses Software