History
1
au:Smallbone, N*
5


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 5 of 5 total

Sort it out with monotonicity. Translating between many-sorted and unsorted first-order logic. (English)
Bjørner, Nikolaj (ed.) et al., Automated deduction ‒ CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 ‒ August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 207-221 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Sort it out with monotonicity - translating between many-sorted and unsorted first-order logic (English)
CADE, 207-221 (2011).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
QuickSpec: guessing formal specifications using testing. (English)
Fraser, Gordon (ed.) et al., Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1‒2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13976-5/pbk). Lecture Notes in Computer Science 6143, 6-21 (2010).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Quickspec: guessing formal specifications using testing (English)
TAP, 6-21 (2010).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Finding race conditions in Erlang with quickcheck and PULSE (English)
ICFP, 149-160 (2009).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 5 of 5 total

Valid XHTML 1.0 Transitional Valid CSS!