Journal of Logic and Algebraic Methods in Programming, Volume 92

Volume 92, November 2017

Research article Virtual special issue article - VSI: ICE 2016 Virtual Special issue articles - VSI: MeMo
a service of Schloss Dagstuhl - Leibniz Center for Informatics