#	Pagina
attuale pagina	/open-h2020/per-topic/stateful/list/index.html
-1	/open-consip/fornitori/2015/profilo-00421130410/index.html
-2	/open-consip/fornitori/2015/profilo-01851200061/index.html
-3	/open-consip/fornitori/2019/profilo-04577261003/index.html
-4	/open-consip/fornitori/2019/profilo-01467130702/index.html
-5	/open-consip/fornitori/2017/profilo-01335440366/index.html
-6	/open-consip/fornitori/2018/profilo-02156650182/index.html
-7	/open-consip/fornitori/2015/profilo-06350681000/index.html
-8	/open-consip/fornitori/2015/profilo-01763530183/index.html
-9	/open-consip/fornitori/2017/profilo-01456830932/index.html
-10	/open-consip/fornitori/2019/profilo-02570350021/index.html

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