Similar Items: Flexible Correct-by-Construction Programming
- Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
- Biological Sequence Kernels with Guaranteed Flexibility
- Flexible Functional Treatment Effect Estimation
- Flexible Cylindrical Dielectric Resonator Antenna for X-Band Satellite, Space, Wireless Sensor Networks, and Flexible Applications
- Coaxioms: flexible coinductive definitions by inference systems
- Optimal Sizing of Photovoltaic Systems With Flexible Curtailment Strategy