Babamir, S. M. (2012). Runtime verification of programs using rule-based active system. Journal of Mahani Mathematical Research, 1(1), 77–95. https://doi.org/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
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
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
