conf.researchr.org / András György
Not registered as user yet
Name:András György
Affiliation:DeepMind
Contributions
| FormaliSE 2020 | Author of Minimal Assumptions Refinement for Realizable Specifications within the FormaliSE 2020-track |
Not registered as user yet
Contributions
| FormaliSE 2020 | Author of Minimal Assumptions Refinement for Realizable Specifications within the FormaliSE 2020-track |