Showing 1 - 1 results of 1 for search 'Ivrii, Alexander', query time: 0.03s Refine Results
1
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Participants: Strichman, Ofer [ HerausgeberIn, Sonstige ]; Ivrii, Alexander [ Sonstige ]; Strichman, Ofer [ Sonstige ]
Published: 2020
Superior document: Conference Series: Formal Methods in Computer-Aided Design
Other Authors: “...Ivrii, Alexander...”
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search