Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

MLA

Robert M. Hierons, et al. Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings. Springer, 2013. 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=edsebk&AN=2547928&authtype=sso&custid=ns315887.

APA

Robert M. Hierons, Mercedes G. Merayo, & Mario Bravetti. (2013). Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings. Springer.

Chicago

Robert M. Hierons, Mercedes G. Merayo, and Mario Bravetti. 2013. Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer. 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=edsebk&AN=2547928&authtype=sso&custid=ns315887.