Monday, February 10, 2020

[VIDEO] Writing ASIL-4 Software With Verification-Centric Language: SPARK Ada and Formal Proofs

submitted by /u/micronian2
[link] [comments]

from programming https://ift.tt/2vilrG3
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)