J. Tschannen und Nordio - Info zur Person

(1 - 8 von 8

)

Tools for Practical Software Verification: International Summer...

books.google.se

In: Vitek, J. (ed.) TOOLS LNCS, vol , pp. 79–96. Springer, Heidelberg (2010) Nordio, 154 J. Tschannen et al.

Verified Software: Theorie, Tools, Experiments: 5th International ...books.google.fr › books

books.google.fr

37. Tschannen, J., Furia, C.A., Nordio, M., 168 J. Tschannen et al.

[PDF] AutoProof Meets Some Verification Challenges - Carlo A. Furiabugcounting.net › pubs › sttt14-aproof

bugcounting.net

J. Tschannen · C. A. Furia · M. Nordio. ETH Zurich. Chair of Software Engineering Zurich. .ch.

A contract-based method to specify stimulus-response requirementswww.mathnet.ru › php › getFT

www.mathnet.ru

J. Tschannen, C. A. Furia, M. Nordio, and N. Polikarpova, “Autoproof: Auto-active functional verification of object-oriented programs,” arXiv preprint ...

Citations - Diomidis Spinellis home pagewww.spinellis.gr › html › GSD-FreeBSD-citations

www.spinellis.gr

M. Nordio, H.C. Estler, B. Meyer, J. Tschannen, and C. and Ghezzi. How do distribution and time zones affect software development? a case study on ...

Investigation of Time Delay Factors in Global Software Developmentpublications.waset.org › investigation-of-time-delay-...

publications.waset.org

[4] M. Nordio, H. C. Estler, B. Meyer, J. Tschannen, C. Ghezzi, E. D. Nitto, "How do Distribution and Time Zones affect Software Development?

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

J. Tschannen und Nordio Person-Info

Tools for Practical Software Verification: International Summer...

Verified Software: Theorie, Tools, Experiments: 5th International ...books.google.fr › books

[PDF] AutoProof Meets Some Verification Challenges - Carlo A. Furiabugcounting.net › pubs › sttt14-aproof

A contract-based method to specify stimulus-response requirementswww.mathnet.ru › php › getFT

Citations - Diomidis Spinellis home pagewww.spinellis.gr › html › GSD-FreeBSD-citations

Investigation of Time Delay Factors in Global Software Developmentpublications.waset.org › investigation-of-time-delay-...

Télécharger - HAL-Inria

Применимость AutoProof: учебный пример верификации ПОwww.academia.edu › Применимость_AutoProof_у...

Alle Infos zum Namen "J. Tschannen"