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: 465 | Total: 620  | Access Period:
 808-844
Research Article
 Unique: 454 | Total: 603  | Access Period:
 129-145
Research Article
 Unique: 355 | Total: 439  | Access Period:
 2535-2555
Research Article
 Unique: 344 | Total: 404  | Access Period:
 72-111
Research Article
 Unique: 328 | Total: 386  | Access Period:
 2083-2106
Research Article
 Unique: 348 | Total: 394  | Access Period:
 1929-1948

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

OK