Sofia Cassel

发表

Bengt Jonsson, Bernhard Steffen, Falk Howar, 2014, SEFM.

Björn Victor, Sofia Cassel, 2013 .

Aletta Nylén, Sofia Cassel, 2016, 2016 IEEE Frontiers in Education Conference (FIE).

Bengt Jonsson, Bernhard Steffen, Maik Merten, 2011, ATVA.

Bengt Jonsson, Bernhard Steffen, Maik Merten, 2015, J. Log. Algebraic Methods Program..

Martin Törngren, Sofia Cassel, Jérémie Guiochet, 2017 .

Bengt Jonsson, Bernhard Steffen, Antonia Bertolino, 2011 .

Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, 2014, 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014).

Björn Victor, Sofia Cassel, 2015, 2015 IEEE Frontiers in Education Conference (FIE).

Martin Törngren, Sofia Cassel, Jérémie Guiochet, 2018, NFM.

Björn Victor, Aletta Nylén, Sofia Cassel, 2014, 2014 IEEE Frontiers in Education Conference (FIE) Proceedings.

Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, 2013 .

Bengt Jonsson, Bernhard Steffen, Falk Howar, 2012, VMCAI.

Bengt Jonsson, Bernhard Steffen, Maik Merten, 2012, TACAS.

Bengt Jonsson, Bernhard Steffen, Maik Merten, 2010, ISoLA.

Bengt Jonsson, Bernhard Steffen, Falk Howar, 2016, Formal Aspects of Computing.

Bengt Jonsson, Bernhard Steffen, Falk Howar, 2018, Machine Learning for Dynamic Software Analysis.

Bernhard Steffen, Antonia Bertolino, Gordon Blair, 2012 .

Bengt Jonsson, Falk Howar, Sofia Cassel, 2015 .