English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Boolean and Cartesian Abstraction for Model Checking C Programs

Podelski, A., Ball, T., & Rajamani, S. K. (2003). Boolean and Cartesian Abstraction for Model Checking C Programs. International Journal on Software Tools for Technology Transfer (STTT), 5, 1-15.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Podelski, Andreas1, Author           
Ball, Tom, Author
Rajamani, Sriram K., Author
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2004-06-232003
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 201982
Other: Local-ID: C1256104005ECAFC-4BE46022487BA706C1256D0A00322329-BPR-STTT03
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: International Journal on Software Tools for Technology Transfer (STTT)
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 5 Sequence Number: - Start / End Page: 1 - 15 Identifier: ISSN: 1433-2779