Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /

Corporate Authors: FOSSACS (Conference) Rome, Italy); SpringerLink (Online service); ETAPS (Conference) Rome, Italy)
Group Author: Pfenning, Frank
Published: Springer,
Publication Dates: 2013.