A. Sernadas

发表

Amílcar Sernadas, A. Sernadas, 1980, Inf. Syst..

Jaime Ramos, Paulo Mateus, Amı́lcar Sernadas, 2008 .

Marc Aiguier, Amílcar Sernadas, Jaime Ramos, 2008 .

José Luiz Fiadeiro, Amílcar Sernadas, A. Sernadas, 1988, Acta Informatica.

Amílcar Sernadas, Jaime Ramos, A. Sernadas, 1998, WADT.

Amílcar Sernadas, José Félix Costa, A. Sernadas, 2005, Formal Aspects of Computing.

Amílcar Sernadas, Hugo Lourenço, A. Sernadas, 1999, WADT.

José Luiz Fiadeiro, Amílcar Sernadas, A. Sernadas, 1988, ADT.

Paulo A.F. Martins, Carlos A. Bana e Costa, Amílcar Sernadas, 2010 .

José Luiz Fiadeiro, Amílcar Sernadas, T. S. E. Maibaum, 1991, COMPASS/ADT.

Amílcar Sernadas, José Carmo, J. Carmo, 1990, Formal Aspects of Computing.

Amílcar Sernadas, Paulo Blauth Menezes, José Félix Costa, 1995, EUROCAST.

Amílcar Sernadas, Paulo Blauth Menezes, José Félix Costa, 1997, US-Brazil Joint Workshops on the Formal Foundations of Software Systems.

José Luiz Fiadeiro, Amílcar Sernadas, A. Sernadas, 1990, J. Log. Comput..