Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
29 May 2017 → 4 Jun 2017
Description
Conference
| Title | 1st School on Foundations of Programming and Software systems |
|---|---|
| Subtitle | Probabilistic programming |
| Abbreviated title | FoPPS |
| Conference number | |
| Duration | 29 May - 4 June 2017 |
| Degree of recognition | International event |
| Location | |
| City | Braga |
| Country | Portugal |