Start United States USA — software Proving Algebraic Laws in Scala Using Stainless

Proving Algebraic Laws in Scala Using Stainless

Von
admin
-
302
0
TEILEN

Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.

Continue reading...

VERWANDTE ARTIKELMEHR VOM AUTOR