Name
Title | ||
|---|---|---|
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. |
Year | Venue | Field |
|---|---|---|
2012 | CSEDU (2) | Interactive Learning,Software engineering,Computer science,Multimedia,Software verification |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rafael del Vado V́ırseda | 1 | 97 | 13.26 |
| Fernando Pérez Morente | 2 | 0 | 2.03 |
| Eduardo Berbis González | 3 | 0 | 0.34 |