2 experts in "lightweight specifications" found:
Patrick Lam
Expert In:
Lightweight
specifications
Compilers
Cybersecurity
Infrastructure integrity
View Profile
Derek Rayside
Expert In:
Lightweight
formal methods
Specification
Autonomous vehicles
Blockchain
View Profile