Taşıran, SerdarElmas, Tayfun2024-11-092005https://hdl.handle.net/20.500.14288/5450xiii, 116 l. : ill. 30 cm.restrictedAccessIntegrated softwareSoftware engineeringFile conversion (Computer science), SoftwareRuntime checking of refinement for concurrent software componentsThesis© All Rights Reserved. Accessible to Koç University Affiliated Users Only!