IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.

Item Statistics

Developing logic programs from specifications using stepwise refinement

RepositoryUniversity of Queensland [UQ eSpace]
URLhttps://espace.library.uq.edu.au/view/UQ:70479
Author(s)Colvin, Robert; Groves, Lindsay; Hayes, Ian J.; Hemer, David; Nickson, Ray; Strooper, Paul
Item typeBook Section
JournalLECTURE NOTES IN COMPUTER SCIENCE, Print_ISSN:0302-9743
DOIhttps://doi.org/10.1007/978-3-540-25951-0_3

Usage Date Range

Note: Daily statistics are only available for the last six weeks.

     

Reporting Period Total 2021-12-23
1 1
Jisc logo Cranfield logo CAVAL logo