Special issue: The 20th Nordic workshop on programming theory (NWPT 2008). Selected papers based on the presentations at the workshop, Tallinn, Estonia, November 19-21, 2008

zbMATH Open1221.03008MaRDI QIDQ710344FDOQ710344

Authors:

Publication date: 19 October 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (2)

• Special issue: The 22nd Nordic workshop on programming theory (NWPT 2010). Papers based on the presentations at the workshop, Turku, Finland, November 10--12, 2010
• Special issue: NWPT '00. 6 Papers from the 12th Nordic workshop on programming theory, Bergen, Norway, October 11--13, 2000

This page was built for publication: Special issue: The 20th Nordic workshop on programming theory (NWPT 2008). Selected papers based on the presentations at the workshop, Tallinn, Estonia, November 19-21, 2008

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710344)