This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Search
Search Constraints
You searched for:SubjectSymbolic execution -- Formal semantics -- Programming languages -- Program analysisJournalComputer languages, systems & structures