Browsing by Author Sekerinski, Emil
Showing results 9 to 19 of 19
< previous
Publication Date | Title | Author(s) |
---|---|---|
Dec-2009 | Formal Modelling of Version Control Systems | Kelk, David H. |
Feb-2007 | Implementation of Tabular Verification and Refinement | Zhou, Ning |
Oct-2012 | INTERSECTION STATE VISUALIZATION FOR REALTIME SIMULATIONS | Roth, Justin L. |
Aug-2007 | Object-Oriented Literate Programming | Zhao, Ming Y. |
Aug-2007 | On The Practice of B-ing Earley | Zingaro, Daniel C. |
2023 | Securing Digital Archiving Systems Against Mass Breaches and Long-Term Security Degradation | Aly, Mohamed |
2020 | Towards Automating Code Reviews | Fadhel, Muntazir |
Oct-2013 | A Unifying Theory of Multi-Exit Programs | Zhang, Tian |
2018 | USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT | Burton, Ronald |
2016 | Verification and Implementation of Embedded Systems from High-Level Models | Nokovic, Bojan |
Sep-2009 | Verification and Refinement Theory of Action Inheritance for Concurrent Objects | Pujari, Upasana |
Showing results 9 to 19 of 19
< previous