Cover Image

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /

Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Corporate Author: SpringerLink (Online service)
Other Authors: Massoni, Tiago. (Editor, http://id.loc.gov/vocabulary/relators/edt), Mousavi, Mohammad Reza. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Series:Programming and Software Engineering ; 11254
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Mathematical logic.
Algorithms.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Online Access:https://doi.org/10.1007/978-3-030-03044-5

Internet

https://doi.org/10.1007/978-3-030-03044-5

Similar Items