Cite
An integrated formal methods tool-chain and its application to verifying a file system model
MLA
Ferreira, Miguel A., and José Nuno Fonseca Oliveira. An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. Jan. 2009. 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.od.......307..6f8fb2cd70792a19030f3eefd92a9491&authtype=sso&custid=ns315887.
APA
Ferreira, M. A., & Oliveira, J. N. F. (2009). An integrated formal methods tool-chain and its application to verifying a file system model.
Chicago
Ferreira, Miguel A., and José Nuno Fonseca Oliveira. 2009. “An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model,” January. 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.od.......307..6f8fb2cd70792a19030f3eefd92a9491&authtype=sso&custid=ns315887.