# Texts in computer science

**Type:** Journals  
**Canonical URL:** https://scholariq.org/journals/texts-in-computer-science/

## Facts

| Field | Value |
| --- | --- |
| Open Access | false |
| ISSN-L | 1868-0941 |
| ISSNs | 1868-0941,1868-095X |
| OpenAlex ID | https://openalex.org/S4210170642 |
| Publisher | Springer International Publishing |

## Journal papers

- [Verification of Sequential and Concurrent Programs](https://scholariq.org/papers/verification-of-sequential-and-concurrent-programs/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.