Artículo publicado en la revista arbitrada Science of Computer Programming
26/06/2015
El artículo "Institution-based foundations for verification in the context of model-driven engineering", del cual una de las autoras es la Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas, fue publicado en junio de 2015 en la revista arbitrada Science of Computer Programming editada por Elsevier.
El artículo fue realizado junto al Ing. Daniel Calegari, profesor adjunto del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República.