Engineering with logic.
Autor: | Bishop, Steve, Fairbairn, Matthew, Norrish, Michael, Sewell, Peter, Smith, Michael, Wansbrough, Keith |
---|---|
Zdroj: | Conference Record of the 33rd ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/11/2006, p55-66, 12p |
Databáze: | Complementary Index |
Externí odkaz: |