Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Powered by

67 items matching your criteria

Sort by:
Filter By:
Subject: F.3.1 - Specifying and Verifying and Reasoning about Programs
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Research Article
 Unique: 476 | Total: 638  | Access Period:
 808-844
Research Article
 Unique: 466 | Total: 616  | Access Period:
 129-145
Research Article
 Unique: 367 | Total: 458  | Access Period:
 2535-2555
Research Article
 Unique: 355 | Total: 415  | Access Period:
 72-111
Research Article
 Unique: 341 | Total: 402  | Access Period:
 2083-2106
Research Article
 Unique: 358 | Total: 407  | Access Period:
 1929-1948

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK