2014

Compiler construction : 23rd International Conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proce

CC (Conference) (23rd : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2014

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,

FOSSACS (Conference) (17th : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2014

From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings

FPS (Workshop) (2014 : Grenoble, France)

Heidelberg : Springer, [2014]

 

2014

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, Fran

FASE (Conference) (17th : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2014

Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-1

POST (Conference) (3rd : 2014 : Grenoble, France)

Heidelberg : Springer, [2014]

 

2014

Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France,

European Symposium on Programming (23rd : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2014

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (20th : 2014 : Grenoble, France)

Heidelberg : Springer, 2014