Sesión 11: Tutoriales y Web Listado de artículos correspondientes a la sesión Tutoriales y Web An Introduction to Liquid HaskellA Tutorial on Using Dafny to Construct Verified SoftwarePage-Level Webpage Menu Detection