Barrett Bryant

Verification of DSMLs using graph transformation: a case study with Alloy

Marjan Mernik, Zekai Demirezen, Jeff Gray, 2009, MoDeVVa '09.

Session details: Volume II: Software development, system software & security: programming languages track

Marjan Mernik, Barrett Bryant, 2014 .

Session details: Software design and development: PL - programming languages track

Marjan Mernik, Barrett Bryant, Rajeev Raje, 2018 .

Federated Conference on Computer Science and Information Systems, FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings

Janusz Górski, Barrett Bryant, B. Bryant, 2011, FedCSIS.

Position Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018

Marcin Paprzycki, Janusz Górski, Barrett Bryant, 2018, FedCSIS.

Session details: Volume II: Software development, system software and security: Programming languages track

Marjan Mernik, Barrett Bryant, 2015 .