skip to main content
Primo Search
Search in: Busca Geral

αCheck: A mechanized metatheory model checker

CHENEY, JAMES ; MOMIGLIANO, ALBERTO

Theory and practice of logic programming, 2017-05, Vol.17 (3), p.311-352 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.