| http://www.w3.org/ns/prov#value | - These themes are of interest to researchers in the areas of language, logic and computation.The types of contributions range from indispensable overview papers about shared formal methods to inspirational applications of formal tools to specific problems.Contributors to this volume are Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edwa
|
