Babamir,S M . (2012). Runtime verification of programs using rule-based active system. Journal of Mahani Mathematical Research, 1(1), 77-95. doi: 10.22103/jmmrc.2012.357
MLA
Babamir,S M . "Runtime verification of programs using rule-based active system", Journal of Mahani Mathematical Research, 1, 1, 2012, 77-95. doi: 10.22103/jmmrc.2012.357
HARVARD
Babamir S M. (2012). 'Runtime verification of programs using rule-based active system', Journal of Mahani Mathematical Research, 1(1), pp. 77-95. doi: 10.22103/jmmrc.2012.357
CHICAGO
S M Babamir, "Runtime verification of programs using rule-based active system," Journal of Mahani Mathematical Research, 1 1 (2012): 77-95, doi: 10.22103/jmmrc.2012.357
VANCOUVER
Babamir S M. Runtime verification of programs using rule-based active system. J. Mahani Math. Res.. 2012;1(1):77-95. doi: 10.22103/jmmrc.2012.357
