Opendata, web and dolomites

H2020 projects about "stateful"

The page lists 2 projects related to the topic "stateful".

#	achronym	title	year
1	Mathador	Type and Proof Structures for Concurrent Software Verification	2017
2	Ether	Development ecosystem intended for engineers and researchers looking to invent, build, verify, evaluate, and release application-tailored storage systems faster and more reliably	2020