Back to Search Start Over

Preface to SCP special issue with extended selected papers from SBMF 2014.

Authors :
Braga, Christiano
Martí-Oliet, Narciso
Source :
Science of Computer Programming. Sep2016, Vol. 126, p1-2. 2p.
Publication Year :
2016

Subjects

Subjects :
*COMPUTER programming
*FORMAL methods (Computer science)
*COMPUTER software quality control
*CONFERENCES & conventions

Details

Language :
English
ISSN :
01676423
Volume :
126
Database :
Academic Search Index
Journal :
Science of Computer Programming
Publication Type :
Academic Journal
Accession number :
115844597
Full Text :
https://doi.org/10.1016/j.scico.2016.05.006
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details