Browsing by Author Sekerinski, Emil
Showing results 12 to 19 of 19
< previous
Publication Date | Title | Author(s) |
---|---|---|
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 12 to 19 of 19
< previous