Angelic Checking within Static Driver Verifier
Talk at FMCAD 2020.
- 日期：
- 演讲者：
- Shuvendu Lahiri
- 所属机构：
- Microsoft Research
-
-
Akash Lal
Senior Principal Researcher
-
Shuvendu Lahiri
Senior Principal Researcher
-
-
接下来观看
-
-
-
What's New in F# 6 0
Speakers: -
-
-
Don Teaches Guido F#
Speakers: -
TorchSharp & Tensor Programming
Speakers: -
-
F# Code I Love - Don Syme
Speakers: -
