Manuel Gesell

Interactive Verification of Synchronous Systems.
. University of Kaiserslautern, (2015)
  •  :
  •  :
далее