1 citations · 1 across the 1 of their papers we have counts for
1 paper
M. Bozzano, G. Delzanno, M. Martelli
The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications. The fragment of lin…