Tecnicas para el analisis automatico de software descrito en lenguajes de programacion

Tesis doctoral de David Sanan Baena La verificación de modelos o model checking es un método formal que explora de […]

, , , , ,