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:
First Letter Of Last Name
is
K
[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
K
King A
,
Smaus J-G
,
Hill PM
. 1999.
Quotienting Share for Dependency Analysis
.
Proceedings of the European Symposium on Programming. 1576:59–73.
Google Scholar
BibTex