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: 721 | Total: 974  | Access Period:
 808-844
Research Article
 Unique: 762 | Total: 1006  | Access Period:
 129-145
Research Article
 Unique: 640 | Total: 797  | Access Period:
 2535-2555
Research Article
 Unique: 610 | Total: 743  | Access Period:
 72-111
Research Article
 Unique: 600 | Total: 765  | Access Period:
 2083-2106
Research Article
 Unique: 623 | Total: 740  | Access Period:
 1929-1948

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

OK