New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
Year: 2015
Type: article
Author: Sanjit A. Seshia
Institution: University of California, Berkeley
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
SDG: Quality education
Open Access status: closed
OpenAlex ID: W2307584322