Formal aspects of security and trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Available for University of the Philippine Diliman via Springerlink. Click here to access

Specification of software systems von Alagar, Vangalur S. 1940-

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Teamwork in multi-agent systems a formal approach von Dunin-Kȩplicz, Barbara

Teamwork in multi-agent systems a formal approach von Dunin-Kȩplicz, Barbara, Verbrugge, Rineke

Available for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access thru EZproxy

Process algebra for parallel and distributed processing