2016年9月20日
Tutorial: Applications of Higher-order Model Checking to Program Verifi cation
Workshop on Higher-Order Model Checking (HOMC) + Communicating, Distributed and Parameterised Systems (CDPS),
- 記述言語
- 英語
- 会議種別
- 口頭発表(招待・特別)