formal Methods in System design (UNITED STATES Hybrid)
Keywords: Information Technology -- Computer Architecture, Languages and Compilers; Information Technology -- Computer Science (Hardware & Networks); Information Technology -- Software Engineering; Material Science and Metallurgy -- Super Conductors; Mathematical Sciences -- Applied Mathematics