scientific article; zbMATH DE number 5199149
From MaRDI portal
Publication:5309608
zbMath1118.68409MaRDI QIDQ5309608
Monica Vancea, S. Berar, Alexandru Vancea
Publication date: 9 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01)
This page was built for publication:
