Science of Computer Programming, Volume 80

Refine list

showing all ?? records

Volume 80, Part A, February 2014

Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10) Special section - Brazilian Symposium on Programming Languages (SBLP 2010) Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)

Volume 80, Part B, February 2014

a service of  Schloss Dagstuhl - Leibniz Center for Informatics