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