Corina S. Păsăreanu

Identifiers

• Open LibraryOL7561404A

Top Subjects

• Programming Languages, Compilers, Interpreters (1)
• Logics and Meanings of Programs (1)
• Computer science (1)
• Programming Techniques (1)
• Mathematical Logic and Formal Languages (1)
• Logic design (1)
• Management of Computing and Information Systems (1)