CORE
🇺🇦Â
 make metadata, not war
Services
Research
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
3 research outputs found
The Z Notation: Whence the Cause and Whither the Course?
Author
A. M. Turing
CAR Hoare
+25Â more
CAR Hoare
FL Morris
HM Hörcher
JE Nicholls
JP Bowen
JP Bowen
JP Bowen
JP Bowen
JP Bowen
JP Bowen
JP Bowen
JP Bowen
JP Bowen
JP Bowen
M Cristia
M Saaltink
MC Henson
MG Hinchey
P Ciancarini
P Stocks
PT Breuer
RB Jones
S Gnesi
SA Vilkomir
SM Bagheri
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
Full text link
Crossref
Specification-Based Testing of Interactive Systems
Author
A Hussey
A Hussey
+12Â more
B Sufrin
BA Myers
D Jackson
HM Hörcher
MC Gaudel
MD Harrison
P Palanque
P Stocks
P Zave
R Duke
S Stepney
SW Yip
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/1997
Field of study
Full text link
Crossref
High flavin/protein ratio in the symbiosome space of soybean nodules
Author
CE Pankhurst
D Werner
+12Â more
D Werner
D Werner
D Werner
FG Bergersen
H Ohkawa
H Papen
HM Fischer
M Parniske
NM Shemakanova
R Hörcher
S Bassarab
SG Mayhew
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
Full text link
Crossref
Full text link
Full text link
