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. Journal of Mahani Mathematical Research, 2012; 1(1): 77-95. doi: 10.22103/jmmrc.2012.357
)
