RAMiCS(ST) 2015
The Student Track of RAMiCS

Proceedings of the Student Track of the 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

Braga, Portugal, September 28 - October 1, 2015.

Edited by

Wolfram Kahl *
Michael Winter **
Jose Nuno Oliveira ***

* McMaster University, Department of Computing and Software, Hamilton, L8S 4K1 Canada
** Brock University, Department of Computer Science, St. Catharines, L2S 3A1 Canada
*** INESC TEC & University of Minho, High Assurance Software Laboratory (HASLab), 4700 Braga, Portugal

Full Proceedings (PDF)

Table of Contents

2015-09-22: submitted by Michael Winter, metadata incl. bibliographic data published under Creative Commons CC0
2015-09-23: published on CEUR-WS.org |valid HTML5|