![Computing / Software engineering / Computer programming / Functional languages / Program analysis / Data types / Programming languages / Object-oriented programming languages / ANSI/ISO C Specification Language / Runtime verification / Benchmark / KeY Computing / Software engineering / Computer programming / Functional languages / Program analysis / Data types / Programming languages / Object-oriented programming languages / ANSI/ISO C Specification Language / Runtime verification / Benchmark / KeY](https://www.pdfsearch.io/img/82160b31937246b0d889368f8f4bd5bb.jpg) Date: 2017-08-11 12:58:04Computing Software engineering Computer programming Functional languages Program analysis Data types Programming languages Object-oriented programming languages ANSI/ISO C Specification Language Runtime verification Benchmark KeY | | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`Add to Reading ListSource URL: julien.signoles.free.frDownload Document from Source Website File Size: 1,00 MBShare Document on Facebook
|