editorial

Open access

Editorial

Authors:

Cliff Jones,

Jim WoodcockAuthors Info & Claims

Formal Aspects of Computing, Volume 20, Issue 1

Pages 1 - 3

https://doi.org/10.1007/s00165-007-0064-1

Published: 01 January 2008 Publication History

PDF eReader

Cited By

View all

Banach R(2023)Graded Refinement, Retrenchment, and SimulationACM Transactions on Software Engineering and Methodology10.1145/353411632:2(1-69)Online publication date: 31-Mar-2023
https://dl.acm.org/doi/10.1145/3534116
Woodcock JBarnes JChapman RFoster SSanten T(2021)Verification in the Grand ChallengeTheories of Programming10.1145/3477355.3477363(125-156)Online publication date: 4-Oct-2021
https://dl.acm.org/doi/10.1145/3477355.3477363

Index Terms

Editorial

Index terms have been assigned to the content through auto-classification.

Recommendations

Editorial: EIC Farewell and New EIC Introduction

TPDS Editorial: EIC Farewell andNew EIC Introduction
EIC's Editorial
Dear readers, in almost all editorials I talked about volunteers dropping out of our Editorial Board and new ones coming in. It may sound like a lot of fluctuation among the members of the Editorial Board, but it is not. Associate Editors start with a two-...
Editorial Notes

This month marks the announcement of some forthcoming changes in the editorial board ofInformation Systems Research.

Comments

Information & Contributors

Information

Published In

Formal Aspects of Computing Volume 20, Issue 1

Jan 2008

134 pages

ISSN:0934-5043

EISSN:1433-299X

Issue’s Table of Contents

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 January 2008

Published in FAC Volume 20, Issue 1

Qualifiers

Editorial

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
33
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)1

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Banach R(2023)Graded Refinement, Retrenchment, and SimulationACM Transactions on Software Engineering and Methodology10.1145/353411632:2(1-69)Online publication date: 31-Mar-2023
https://dl.acm.org/doi/10.1145/3534116
Woodcock JBarnes JChapman RFoster SSanten T(2021)Verification in the Grand ChallengeTheories of Programming10.1145/3477355.3477363(125-156)Online publication date: 4-Oct-2021
https://dl.acm.org/doi/10.1145/3477355.3477363

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Editorial: EIC Farewell and New EIC Introduction

EIC&#x0027;s Editorial

Editorial Notes

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations

EIC's Editorial