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
Seyed Morteza 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
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
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
)
