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: 330 | Total: 376  | Access Period:
 1073-1093
Research Article
 Unique: 298 | Total: 332  | Access Period:
 669-678
Research Article
 Unique: 377 | Total: 465  | Access Period:
 661-668
Research Article
 Unique: 325 | Total: 394  | Access Period:
 650-660
Research Article
 Unique: 366 | Total: 432  | Access Period:
 639-649
Research Article
 Unique: 336 | Total: 385  | Access Period:
 629-638
Research Article
 Unique: 319 | Total: 380  | Access Period:
 619-628
Research Article
 Unique: 312 | Total: 363  | Access Period:
 607-618
Research Article
 Unique: 297 | Total: 329  | Access Period:
 602-606
Research Article
 Unique: 315 | Total: 356  | Access Period:
 593-601

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

OK