Vorstellung des Autors Ranjit Jhala:

Bisher veröffentlichte Bücher von Ranjit Jhala:

Verfeinerungstypen: Ein Tutorial - Refinement Types: A Tutorial

Verfeinerungstypen können der Vektor sein, der die formale Verifikation in den Mainstream der...