Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

MLA

Gerardo Schneider, et al. “Verifying Data- and Control-Oriented Properties Combining Static and Runtime Verification: Theory and Tools.” Formal Methods in System Design, vol. 51, Apr. 2017, pp. 200–65. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....66ab5014d76cb870dffcfb92f1920811&authtype=sso&custid=ns315887.

APA

Gerardo Schneider, Jesús Mauricio Chimento, Gordon J. Pace, & Wolfgang Ahrendt. (2017). Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods in System Design, 51, 200–265.

Chicago

Gerardo Schneider, Jesús Mauricio Chimento, Gordon J. Pace, and Wolfgang Ahrendt. 2017. “Verifying Data- and Control-Oriented Properties Combining Static and Runtime Verification: Theory and Tools.” Formal Methods in System Design 51 (April): 200–265. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....66ab5014d76cb870dffcfb92f1920811&authtype=sso&custid=ns315887.