by Sifakis, J.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Leinenbach, D., Paul, W., Petrova, E.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Hubert, T., Marche, C.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Jacobs, B., Leino, K.R.M., Piessens, F., Schulte, W.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Cerone, A., Lindsay, P.A., Connelly, S.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Dalla Preda, M., Giacobazzi, R.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Gervais, F., Frappier, M., Laleau, R.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Nemeth, Z., Perez, C., Priol, T.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A.R., Yevtushenko, N.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Hirsch, D., Tuosto, E.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Gebremichael, B., Vaandrager, F.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by de Nivelle, H., Piskac, R.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Hameurlain, N.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Grandy, H., Stenzel, K., Reif, W.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Barthe, G., Pavlova, M., Schneider, G.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Chalin, P.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Blech, J.O., Gesellensetter, L., Glesner, S.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Scheffczyk, J., Borghoff, U.M., Birk, A., Siedersleben, J.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)

by Georgieva, L., Maier, P.
Published in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)