Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

International Conference on Software Engineering and Formal Methods (2021 :)

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Software engineering and formal methods = SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: Cerone, Antonio.; SpringerLink (Online service); International Conference on Software Engineering and Formal Methods (2021 :) (Electronic resources)

Software engineering and formal methods = 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: International Conference on Software Engineering and Formal Methods (2021 :); Calinescu, Radu.; Pasareanu, Corina S.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Theory of Computation. Computer and Information Systems Applications. Control and Systems Theory. Formal methods (Computer science) Computer Science Logic and Foundations of Programming. Artificial Intelligence. Control, Robotics, Automation.

Change password

Login