Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, revised selected papers

Weitere Verfasser: “… Chakraborty, Supratik …”
BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Verified software theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers

Weitere Verfasser: “… Chakraborty, Supratik …”

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) FSTTCS 2011, December 12–14, 2011, Mumbai, India

Weitere Verfasser: “… Chakraborty, Supratik …”
Volltext
kostenfrei
kostenfrei
kostenfrei