02958nam 22007575 450 991034939240332120251225205234.09783030030445303003044X10.1007/978-3-030-03044-5(CKB)4100000007145828(DE-He213)978-3-030-03044-5(MiAaPQ)EBC6295779(PPN)232470618(EXLCZ)99410000000714582820181023d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /edited by Tiago Massoni, Mohammad Reza Mousavi1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (X, 271 p. 52 illus.) Programming and Software Engineering,2945-9168 ;112549783030030438 3030030431 Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Programming and Software Engineering,2945-9168 ;11254Software engineeringCompilers (Computer programs)Computer programmingComputer scienceMachine theoryAlgorithmsSoftware EngineeringCompilers and InterpretersProgramming TechniquesComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryAlgorithmsSoftware engineering.Compilers (Computer programs).Computer programming.Computer science.Machine theory.Algorithms.Software Engineering.Compilers and Interpreters.Programming Techniques.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Algorithms.005.1004.0151Massoni Tiagoedthttp://id.loc.gov/vocabulary/relators/edtMousavi Mohammad Rezaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349392403321Formal Methods: Foundations and Applications773789UNINA