Etienne Kneuss Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter: On Integrating Deductive Synthesis and Verification Systems. CoRR abs/1304.5661 (2013)
2010
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Etienne Kneuss, Philippe Suter, Viktor Kuncak: Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010: 300-314
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Etienne Kneuss, Philippe Suter, Viktor Kuncak: Phantm: PHP analyzer for type mismatch. SIGSOFT FSE 2010: 373-374

Coauthor Index

1Viktor Kuncak
[i1] [c2] [c1]
2Ivan Kuraj
[i1]
3Philippe Suter
[i1] [c2] [c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 09:42:09 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page