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 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)
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 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France.
(Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)
Selected papers."ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS...
"ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POST) (...)" -- foreword.
書誌注記
Includes bibliographical references and author index.