//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~isPartOf:"Journal of risk management in financial institutions"
~person:"Ghose, S."
~person:"Kerber, Manfred"
~person:"Sinclair, P.J.N."
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Stable Sets in Three Agent Pil...
Similar by person
Narrow search
Delete all filters
| 4 applied filters
Year of publication
From:
To:
Subject
All
SR 11-7
1
financial software
1
formal verification
1
functional programming
1
model risk
1
provable security
1
Type of publication
All
Article
1
Type of publication (narrower categories)
All
Article in journal
1
Aufsatz in Zeitschrift
1
Language
All
English
1
Author
All
Ghose, S.
Kerber, Manfred
Sinclair, P.J.N.
Rowat, Colin
1
Vosloo, Neels
1
Published in...
All
Journal of risk management in financial institutions
Discussion Papers / Department of Economics, University of Birmingham
27
Discussion papers / Department of Economics, The University of Birmingham
4
International journal of game theory : official journal of the Game Theory Society
3
Department of Economics discussion paper / Department of Economics, The University of Birmingham
2
Discussion paper series / A / Institute of Economic Research
2
Department of Economics Discussion Paper, University of Birmingham
1
Economics Department working paper series
1
International Journal of Game Theory
1
International journal of game theory
1
Journal of mathematical economics
1
Mathematical Social Sciences
1
Mathematical social sciences
1
Papers / arXiv.org
1
University of Birmingham, Department of Economics Working Paper Series
1
Working Paper
1
more ...
less ...
Source
All
ECONIS (ZBW)
1
Showing
1
-
1
of
1
Sort
Relevance
Date (newest first)
Date (oldest first)
1
Using formal verification to develop higher assurance, more maintainable financial software
Kerber, Manfred
;
Rowat, Colin
;
Vosloo, Neels
- In:
Journal of risk management in financial institutions
13
(
2019/2020
)
1
,
pp. 35-46
Persistent link: https://www.econbiz.de/10012250006
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->