Publications

AuthID
P-00Y-NK0

Author(s)

Grégoire, B

Kunz, C

Editor(s)

Yi,K

Document Type

Proceedings Paper

Year published

2006

Published

in Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings in Lecture Notes in Computer Science

Volume: 4134, Pages: 301-317

Indexing

Publication Identifiers

Dblp: conf/sas/BartheGKR06

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links