Volume 18, Number 1, January 2008
export record as
dblp key:
export record as
dblp key:
journals/jfp/GreveKMMRRSVW08 export record as
dblp key:
export record as
dblp key:
Volume 18, Number 2, March 2008
export record as
dblp key:
journals/jfp/AspinallHK08 export record as
dblp key:
export record as
dblp key:
Volume 18, Number 3, May 2008
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gergely Buday :
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.
421-422
Volume 18, Number 4, July 2008
export record as
dblp key:
export record as
dblp key:
journals/jfp/SewellSHBW08 export record as
dblp key:
journals/jfp/Schmidt-SchaussSS08 export record as
dblp key:
Volume 18, Numbers 5-6, November 2008
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Adam Chlipala :
Modular development of certified program verifiers with a proof assistant, .
599-647
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jfp/KatsumataN08 export record as
dblp key:
export record as
dblp key:
journals/jfp/NanevskiMB08
data released under the ODC-BY 1.0 license
