Formal Methods in Software Engineering: E-Resources

Wiley-Interscience is an STM (Science, technology, and Medicine) and SSH (Social Sciences and Humanities) publisher. Introduced in 1997, Wiley InterScience is a leading international resource for scientific, technical, medical and scholarly content.

Access to 432 full text journals from computer science, mathematics, engineering, geosciences. Providing researchers with access to millions of scientific documents from journals, books, series, protocols and reference works.

ebrary and our parent company ProQuest share a common goal to make important information more accessible to libraries and end-users throughout the world.

Taylor & Francis have been publishing academic research since 1798 and on an open access basis since 2006. We offer a broad range of author options, enabling authors to publish their material in quality open access journals with a high degree of peer review integrity.

JSTOR currently includes more than 2,000 academic journals, dating back to the first volume ever published, along with thousands of monographs and other materials relevant for education. We have digitized more than 50 million pages and continue to digitize approximately 3 million pages annually.

ISSN: 2195-1721 (Online)
Available from 2013 to 2015

4 issues per year
0268-1102 (Print), 1554-0170 (Online)

Edited By: Rajkumar Buyya, R. Nigel Horspool
Online ISSN: 1097-024X

Edited By: Gerardo Canfora, Darren Dalcher and David Raffo
Online ISSN: 2047-7481

Edited By: Oliver Deussen and Hao (Richard) Zhang
Online ISSN: 1467-8659

Edited By: Oliver Deussen and Hao (Richard) Zhang
Online ISSN: 1546-427X
ISI Journal Citation Reports © Ranking: 2014: 90/104 (Computer Science Software Engineering)

Edited By: Jeff Offutt and Robert M. Hierons
Online ISSN: 1099-1689
ISI Journal Citation Reports © Ranking: 2014: 35/104 (Computer Science Software Engineering)

0020-7721 (Print), 1464-5319 (Online)
16 issues per year