Back to Results
First PageMeta Content
Mathematical logic / Mathematical proofs / Theoretical computer science / Mathematical induction / Recursion / Structural induction / Rippling / Algorithm / Theorem


Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
Add to Reading List

Document Date: 2015-11-05 07:20:14


Open Document

File Size: 200,10 KB

Share Result on Facebook
UPDATE