Start Search Over

Active Search Criteria:

Displaying all 2 items
sorted by

1 Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Author(s):
Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.
Date:
2005
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29170

2 Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Author(s):
Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.
Date:
2005
Subject:
Computer science
Content Type:
Articles
Publisher:
Springer
Permanent URL:
http://hdl.handle.net/10022/AC:P:12783

Powered by the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.