Published April 25, 2001
| Submitted
Report
Open
Theory and Use of Conditional Composition
- Creators
- Manohar, Rajit
- Leino, K. Rustan M.
Abstract
[No abstract available]
Additional Information
© 1994 California Institute of Technology. July 1, 1994. Supported in part by Air Force Office of Scientific Research grant number 61301.Attached Files
Submitted - postscript.pdf
Submitted - postscript.ps
Files
postscript.pdf
Files
(418.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ff9c76bb06c2aaeaf310704a1d692c9e
|
186.8 kB | Preview Download |
|
md5:8c1b2763ecb30047f444ddb3a1aa36e5
|
231.5 kB | Download |
Additional details
- Eprint ID
- 26791
- Resolver ID
- CaltechCSTR:1994.cs-tr-94-12
- 61301
- Air Force Office of Scientific Research (AFOSR)
- Created
-
2001-04-25Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports