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