SO
Science of Computer Programming
JournalElsevier BV
3,316
Publications
77,909
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (2,989)
- Paratext (280)
- Preprint (18)
- Editorial (14)
- Erratum (5)
Filter by Open Access Type
- Open Access (812)
- Closed Access (2,500)
Filter by Authors
- M. Rem (28)
- Mark van den Brand (19)
- Farhad Arbab (19)
- Mirko Viroli (18)
- Marjan Sirjani (18)
Filter by Topics
- Formal Methods in Verification (834)
- Logic, programming, and type systems (822)
- Advanced Software Engineering Methodologies (587)
- Software Engineering Research (548)
- Software Testing and Debugging Techniques (395)