( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Why Proof-Theory Matters in Specification-Based Testing.

. ICTCS, том 2756 из CEUR Workshop Proceedings, стр. 95-100. CEUR-WS.org, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alberto Moreira

Alberto Fierro

Alberto Ricco

Alberto Moreira

Alberto Moreira

 

Другие публикации лиц с тем же именем

Cut elimination for a logic with induction and co-induction., и . J. Appl. Log., 10 (4): 330-367 (2012)The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey., , и . J. Autom. Reason., 55 (4): 307-372 (2015)The Blame Game for Property-based Testing., и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 4-13. CEUR-WS.org, (2019)Optimisation Validation., , и . COCV@ETAPS, том 176 из Electronic Notes in Theoretical Computer Science, стр. 37-59. Elsevier, (2006)Why Proof-Theory Matters in Specification-Based Testing.. ICTCS, том 2756 из CEUR Workshop Proceedings, стр. 95-100. CEUR-WS.org, (2020)Applying ASP to UML Model Validation., , , и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 457-463. Springer, (2009)Mechanized metatheory model-checking., и . PPDP, стр. 75-86. ACM, (2007)Regular Search Spaces and Constructive Negation., и . J. Log. Comput., 7 (3): 367-403 (1997)Towards a Type Discipline for Answer Set Programming., , и . TYPES, том 5497 из Lecture Notes in Computer Science, стр. 117-135. Springer, (2008)Snapshot Generation in a Constructive Object-Oriented Modeling Language., , , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 169-184. Springer, (2007)