Skip to main content
Search form
Search
Webinars
Blog
Contact
Support
eclairit.com
Toggle navigation
Software Analysis & Verification
ECLAIR
PPL
Services
Consulting
Education
Verification Services
Technical support
Resources
Webinars
Documentation
Scientific publications
Company
About
News
Customers
Partners
Blog
Contact us
Careers
Academy
Selected Scientific Publications
Export 1 results:
BibTex
[
Author
]
Title
Type
Year
Filters:
First Letter Of Last Name
is
C
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
C
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