FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration

Authors: Eli Singerman, Gila Kamhi, Ranan Fraer and Avner Landver

Paper Information

Title:Moshe Vardi and Intel Corporation: Long and Fruitful Collaboration
Authors:Eli Singerman, Gila Kamhi, Ranan Fraer and Avner Landver
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Formal, specification, verification, hardware, firmware
Pages:1
Talk:Aug 01 15:20 (Session 35B)
Paper: