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