[PDF] Ada User Journal Volume 43, 2022/4

TOC:

• J. P. Rosen. “Report on the ASIS BoF Session: The Future of ASIS and Vendor Independent Tools” 221
• C. Dross. “Containers for Specification in SPARK” 249
• S. Tucker Taft. “Rigorous Pattern Matching as a Language Feature” 255
• L. Humphrey. “Basic Formal Verification of a Waypoint Manager for Unmanned Air Vehicles in SPARK”