Skip to main content
Search form
Search
Perspectives
Contact
Support
Toggle navigation
Software Analysis & Verification
ECLAIR
PPL
Services
Consulting
Education
Verification Services
Technical support
Resources
Documentation
Scientific publications
Company
About
News
Customers
Perspectives
Contact us
Careers
Academy
Selected Scientific Publications
Export 1 results:
BibTex
Author
Title
Type
[
Year
]
Filters:
Author
is
Simon Price
[Clear All Filters]
2012
Covington MA
,
Bagnara R
,
O’Keefe RA
,
Wielemaker J
,
Price S
. 2012.
Coding Guidelines for Prolog
.
Theory and Practice of Logic Programming. 12:889-927.
Google Scholar
BibTex