HASLab - Other Publications

Permanent URI for this collection

http://localhost:4000/handle/123456789/186

Browse

Browsing HASLab - Other Publications by Author "5601"
  • Item
    Formal Methods. FM 2019 International Workshops
    ( 2020) Farrell,M ; Delmas,D ; Monteiro,P ; Kutrib,M ; Dongol,B ; Couto,L ; Cerone,A ; Gonnord,L ; Astarte,T ; Campos,J ; Marmsoler,D ; Luckcuck,M ; Sekerinski,E ; Moreira,N ; José Nuno Oliveira ; Ratiu,D ; Guidotti,R ; 5601
  • Item
    Formal Methods. FM 2019 International Workshops
    ( 2020) Campos,J ; Astarte,T ; Delmas,D ; Monteiro,P ; Kutrib,M ; Dongol,B ; Couto,L ; Cerone,A ; Gonnord,L ; Sekerinski,E ; Moreira,N ; José Nuno Oliveira ; Ratiu,D ; Guidotti,R ; Farrell,M ; Luckcuck,M ; Marmsoler,D ; 5601