Domenico Bianculli

Open-world Software: Specification, Verification and Beyond.
. University of Lugano, Switzerland, (2012)base-search.net (ftunivluxembourg:oai:orbilu.uni.lu:10993/8378).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found