Abstract
The SPARK programming language and analyzer.
Full Text
Sign-in/Register to access full text options
Published version (Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
https://doi.org/10.1145/3624728
Copy DOIJournal: Communications of the ACM | Publication Date: Feb 22, 2024 |
License type: cc-by |
The SPARK programming language and analyzer.
Join us for a 30 min session where you can share your feedback and ask us any queries you have