[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Science of Computer Programming, Volume 94

Refine list

showing all ?? records

Volume 94, Part 1, November 2014

Web Technologies: Selected and extended papers from WT ACM SAC 2012

Volume 94, Part 2, November 2014

Abstract State Machines, Alloy, B, VDM, and Z - Selected and extended papers from ABZ 2012

Volume 94, Part 3, November 2014

Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010)