Sesión 11: Tutoriales y Web
Listado de artículos correspondientes a la sesión Tutoriales y Web
- An Introduction to Liquid Haskell
Ricardo Peña / - A Tutorial on Using Dafny to Construct Verified Software
Paqui Lucio / - Page-Level Webpage Menu Detection
Julián Alarte / David Insa / Josep Silva /