Close


How to Make the Citation of this Document using the INPE Standard (BibINPE Format)

ERAS, E. R.; SANTOS, L. B. R.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking. Lecture Notes in Computer Science, v. 9158, p. 612-627, 2015. Available from: <http://link.springer.com/chapter/10.1007%2F978-3-319-21410-8_47>. Access in: 2024, Mar. 28.

How to Make the In-Text Citation (by author/year)

... as proposed by Eras et al. (2015).
... may be found in the literature (ERAS et al., 2015).



Close