Skip to main content
×
×
Home

Computational Logic for Verification

Volume 18 - Special Issue 2 - March 2018
Latest issue of Theory and Practice of Logic Programming

Introduction

Original Article