Ranjit Jhala szerző bemutatása:

Ranjit Jhala szerző eddig megjelent könyvei:

Finomítási típusok: A Tutorial - Refinement Types: A Tutorial

A finomítási típusok lehetnek az a vektor, amely a formális verifikációt a szoftverfejlesztés főáramába...