New Refinement Strategies for Cartesian Abstractions

MLA

Speck, David, and Jendrik Seipp. New Refinement Strategies for Cartesian Abstractions. 2022. 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=edsoai&AN=edsoai.on1349065478&authtype=sso&custid=ns315887.

APA

Speck, D., & Seipp, J. (2022). New Refinement Strategies for Cartesian Abstractions.

Chicago

Speck, David, and Jendrik Seipp. 2022. “New Refinement Strategies for Cartesian Abstractions.” 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=edsoai&AN=edsoai.on1349065478&authtype=sso&custid=ns315887.