Florin Craciun - Bücher - alle Infos bei Yasni.de

(1 - 12 von 14

)

Author: Florin Craciun

easychair.org

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin and Wei-Ngan Chin. In:WING Workshop on Invariant Generation

Publications of Florin Craciun

about.chrjs.net

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, and Corneliu Popeea. A flow- based approach for variant parametric types. SIGPLAN Not.

NASA Formal Methods: 5th International Symposium, NFM 2013, ...

books.google.nl

Florin Craciun is supported by the project POSDRU S ”Postdoctoral Programs for Sustainable Development in a Knowledge Based Society”.

Programming Languages and Systems: 6th Asian Symposium, APLAS ...

books.google.nl

Department of Computer Science, Durham University, UK florin.craciun ... Region Inference for CLI Alexandru Stefan, Florin Craciun, and Wei-Ngan Chin.

Formal Methods and Software Engineering: 10th International ...

books.google.nl

... Object-Oriented Paradigm⋆ Florin Craciun1, Shengchao Qin1, and Wei-Ngan Chin2 1 Department of Computer Science, Durham University, UK {florin.craciun ...

Theoretical Aspects of Software Engineering: 16th International ...

books.google.nl

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings Yamine Aït-Ameur, Florin Crăciun. Flavio Ferrarotti Simon Foster ...

Automated Technology for Verification and Analysis: 8th International...

books.google.de

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in...

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett...

books.google.de

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May...

Constraint Handling Rules - Thom Frühwirth - Google Books

books.google.cz

[CCKP06] Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, and Corneliu Popeea. A flow-based approach for variant parametric types. In 21st Annual ACM SI ...

Programming Languages and Systems: Second Asian Symposium, ...

books.google.cz

... Chuang Koen Claessen Florin Craciun Huimin Cui Xie Haibin Fritz Henglein Kohei Honda Gwan-Hwang Hwang Chung-Wen Hwang D. Doligez Derek Dreyer ...

Programming Languages and Systems: 18th European Symposium ...

books.google.cz

... and Shengchao Qin1 1 Department of Computer Science, Durham University, UK &#.uk 2 Department of ...

Programming Languages and Systems: 6th Asian Symposium, ...

books.google.cz

Department of Computer Science, Durham University, UK florin.craciun ...

Verwandte Suchanfragen zu Florin Craciun

Siau-Cheng Khoo

Personen
Vorname "Florin" (1049)
Name "Craciun" (170)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: 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

Bücher Florin Craciun