Title: Formal Methods for Eternal Networked Software Systems
Subjects: Information systems, Computer science, Software engineering, Informatique, Computer networks, Formal methods (Computer science), Congresses, Computer software, development, System design, Computer architecture, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Software Engineering/Programming and Operating Systems, Information Systems Applications (incl.Internet)