publicações selecionadas Formal verification of implementations of Stateflow charts Geração parcial de código Java a partir de especificações formais Z.
