Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rafael del Vado Vírseda

◀ ▶ joint publications with Fernando Pérez Morente

> Home > Persons > Rafael del Vado Vírseda

Publications

2012
[c32]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/VirsedaMG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/VirsedaMG12
Rafael del Vado Vírseda, Fernando Pérez Morente, Eduardo Berbis González:
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. CSEDU (2) 2012: 77-82
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/VirsedaMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/VirsedaMT12
Rafael del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo:
A Concurrent Operational Semantics for Constraint Functional Logic Programming. ICLP (Technical Communications) 2012: 154-163
[c29]
- view
  authority control:
- export record
  dblp key:
  - journals/procedia/VirsedaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/procedia/VirsedaM12
Rafael del Vado Vírseda, Fernando Pérez Morente:
An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. ICCS 2012: 1743-1752
2011
[c28]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/VirsedaMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/VirsedaMM11
Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez:
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. CSEDU (2) 2011: 67-72
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/VirsedaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/VirsedaM11
Rafael del Vado Vírseda, Fernando Pérez Morente:
An innovative teaching tool based on semantic tableaux for verification and debugging of programs. ITiCSE 2011: 352
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/VirsedaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/VirsedaM11
Rafael del Vado Vírseda, Fernando Pérez Morente:
A modular semantics for higher-order declarative programming with constraints. PPDP 2011: 41-52
[c23]
- view
  authority control:
- export record
  dblp key:
  - journals/procedia/VirsedaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/procedia/VirsedaM11
Rafael del Vado Vírseda, Fernando Pérez Morente:
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs. ICCS 2011: 1907-1916

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.