Add to ORKGInternational audienceThis issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12)
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
International audienceThis special section of Software and Systems Modeling contains extended versio...
This volume contains the proceedings of the Eight Workshop on Specification and Verification of Comp...
International audienceThis issue contains extended versions of selected papers from the 9th Internat...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
International audienceComponent-based software development proposes sound engineering principles and...
International audienceThis section contains extended versions of selected papers from the 16th Inter...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (F...
International audienceThis issue contains extended versions of selected papers from the 8th Internat...
International audienceThis special issue is dedicated to the presentation of novel results in the sc...
International audienceThis section contains extended versions of selected papers from the 9th Intern...
International audienceThis special issue of the Formal Aspects of Computing journal contains a selec...
International audienceThe aim of the FMICS workshop series is to provide a forum for researchers who...
computer software maintenance; computer software selection and evaluation; formal logic; formal m...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
International audienceThis special section of Software and Systems Modeling contains extended versio...
This volume contains the proceedings of the Eight Workshop on Specification and Verification of Comp...
International audienceThis issue contains extended versions of selected papers from the 9th Internat...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
International audienceComponent-based software development proposes sound engineering principles and...
International audienceThis section contains extended versions of selected papers from the 16th Inter...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (F...
International audienceThis issue contains extended versions of selected papers from the 8th Internat...
International audienceThis special issue is dedicated to the presentation of novel results in the sc...
International audienceThis section contains extended versions of selected papers from the 9th Intern...
International audienceThis special issue of the Formal Aspects of Computing journal contains a selec...
International audienceThe aim of the FMICS workshop series is to provide a forum for researchers who...
computer software maintenance; computer software selection and evaluation; formal logic; formal m...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
International audienceThis special section of Software and Systems Modeling contains extended versio...
This volume contains the proceedings of the Eight Workshop on Specification and Verification of Comp...