Publication

Cross-Cutting Techniques in Program Specification and Analysis