Author: Leid, Alexander
Author: Weideman, Nicolaas Hendrik
Similar Items: Static analysis of regular expressions
- An investigation into performance-related issues of regular expression matching
- An algebraic framework for reasoning about privacy
- Implementing a smalltalk to Java translator
- The design of a specification language suitable for the generation of compilers
- A survey of proof systems for CSP
- Generalized nondeterminism and the succinct representation of regular languages
Similar Items: Testing smart contracts
- Smart contracts and the convention on the use of electronic communications in international contracts : Navigating International Trade Law in the digital age
- Rebalancing the Scales: A Comparative Study Between Egyptian Contract Law’s Rules on Unequal Contracts and the American Unconscionability Doctrine
- Security for networked smart healthcare systems: A systematic review
- Analysis of cyber security in smart grid systems
- An empirically derived system for high-speed shadow rendering
- A proposed framework that enhances the quality of cyber security audits