scholarly journals An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs

2011 ◽  
Vol 4 ◽  
pp. 1907-1916
Author(s):  
Rafael del Vado Vírseda ◽  
Fernando Pérez Morente
Renal Failure ◽  
2012 ◽  
Vol 34 (8) ◽  
pp. 1043-1045 ◽  
Author(s):  
Kenar D. Jhaveri ◽  
Arun Chawla ◽  
Hitesh H. Shah

2016 ◽  
Vol 5 (2) ◽  
pp. 143-147
Author(s):  
Fatima M. DeSouza ◽  
◽  
Prashant E. Natekar ◽  
Nandini M. Karapurkar ◽  
◽  
...  

Sign in / Sign up

Export Citation Format

Share Document