Nothing Special   »   [go: up one dir, main page]

Science of Computer Programming, Volume 93

Refine list

showing all ?? records

Volume 93, Part A, November 2014

Special Issue with Selected Papers from the Brazilian Symposium on Programming Languages (SBLP 2011)

Volume 93, Part B, November 2014

Special Issue on Invariant Generation