Showing 1 - 20
of 22
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Software engineering
Author: International Conference on Software Engineering and Formal Methods
Institution
Collection
Format
Subject
Software engineering
20
Formal methods (Computer science)
4
Artificial intelligence
1
Automatic control
1
Computer logic
1
Computer science
more ...
1
Computer simulation
1
Computers, Special purpose
1
Education
1
Education Data processing
1
Information technology
1
Mechatronics
1
Robotics
see all ...
less ...
Author
International Conference on Software Engineering and Formal Methods
22
SpringerLink (Online service)
4
CoSim-CPS (Workshop)
3
CIFMA (Workshop)
3
Calinescu, Radu C., 1968-
3
International Conference on Software Engineering and Formal Methods Online)
more ...
2
ASYDE (Workshop)
2
Cerone, Antonio
2
Cerone, Antonio,
2
International Conference on Software Engineering and Formal Methods Oslo, Norway)
2
International Workshop on the Foundations of Coordination Languages and Software Architectures
2
MoKMaSD (Workshop)
2
Rumpe, Bernhard,
2
STAF (Federation of conferences)
2
Salaün, G.
1
ATSE (Workshop)
1
Barthe, Gilles, 1967-
1
Bernardeschi, Cinzia,
1
Bianculli, Domenico,
1
Boer, Frank S. de
1
Bravetti, Mario,
1
Canal, Carlos,
1
Chai, Ming,
1
Cimatti, Alessandro,
1
Cleophas, Loek
1
Counsell, Steve,
1
Cámara, Javier (Computer scientist)
1
DataMod (Symposium)
1
De Nicola, Rocco,
1
Eleftherakis, George
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication