The least conjunctive refinement and promotion in the refinement calculusMAHONY, B. P.Formal aspects of computing. 1999, Vol 11, Num 1, pp 75-105, issn 0934-5043Article

Unity properties and sequences of states, some observationsUDINK, R. T; KOK, J. N.Information processing letters. 1993, Vol 47, Num 6, pp 307-311, issn 0020-0190Article

Model-based specificationBIJLSMA, Lex.Information processing letters. 2001, Vol 77, Num 2-4, pp 77-84, issn 0020-0190Article

Data refinement and singleton failures refinement are not equivalentREEVES, Steve; STREADER, David.Formal aspects of computing. 2008, Vol 20, Num 3, pp 295-301, issn 0934-5043, 7 p.Article

Components as coalgebras : The refinement dimensionSUN MENG; BARBOSA, Luis S.Theoretical computer science. 2006, Vol 351, Num 2, pp 276-294, issn 0304-3975, 19 p.Conference Paper

The commuting V-diagram: On the relation of refinement and testingAICHERNIG, Bernhard K.Lecture notes in computer science. 2003, pp 15-28, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

A refinement tool for ZFREITAS, Angela; NASCIMENTO, Carla; CAVALCANTI, Ana et al.Lecture notes in computer science. 2003, pp 396-415, issn 0302-9743, isbn 3-540-20461-X, 20 p.Conference Paper

The Importance of AnniversariesROBINSON, Vicky.ATLA. Alternatives to laboratory animals. 2009, Vol 37, pp 49-51, issn 0261-1929, 3 p., SUP2Article

Sharp retrenchment, modulated refinement and simulationBANACH, R; POPPLETON, M.Formal aspects of computing. 1999, Vol 11, Num 5, pp 498-540, issn 0934-5043Article

Advancing Refinement Through Training: Is There a Role for Reflective Practice? : RefinementLLOYD, Maggie.ATLA. Alternatives to laboratory animals. 2009, Vol 37, Num 2, pp 167-171, issn 0261-1929, 5 p.Article

Utochnenie konstitutsii tetradimitaZAV'YALOV, E. N; BEGIZOV, V. D.Zapiski Vsesoûznogo mineralogičeskogo obŝestva. 1985, Vol 114, Num 6, pp 693-698, issn 0044-1805Article

Procedure compilation in the refinement calculusLERMER, K; FIDGE, C. J.Formal aspects of computing. 2006, Vol 18, Num 2, pp 152-180, issn 0934-5043, 29 p.Article

Utochnennaga knistallicheskaya struktura lejkosfenitaMALINOVSKIJ, YU. A; YAMNOVA, N. A; BELOV, N. V et al.Doklady Akademii nauk SSSR. 1981, Vol 257, Num 5, pp 1128-1132, issn 0002-3264Article

Local refinement of simplicial grids based on the skeletonPLAZA, A; CAREY, G. F.Applied numerical mathematics. 2000, Vol 32, Num 2, pp 195-218, issn 0168-9274Article

Refinement algebra for probabilistic programsMEINICKE, Larissa; SOLIN, Kim.Formal aspects of computing. 2010, Vol 22, Num 1, pp 3-31, issn 0934-5043, 29 p.Article

Isotropic conforming refinement of quadrilateral and hexahedral meshes using two-refinement templatesEBEIDA, Mohamed S; PATNEY, Anjul; OWENS, John D et al.International journal for numerical methods in engineering. 2011, Vol 88, Num 10, pp 974-985, issn 0029-5981, 12 p.Article

The Conflo refiner ― a new concept for LC- refiningLUMIAINEN, J.Paper technology and industry. 1991, Vol 32, Num 3, pp 26-34, issn 0306-252X, 9 p.Article

Adaptive generation and local refinement methods of three-dimensional hexahedral element meshLU SUN; GUOQUN ZHAO; XINWU MA et al.Finite elements in analysis and design. 2012, Vol 50, pp 184-200, issn 0168-874X, 17 p.Article

A note on Hilbert's inequalityYANG XIAOJING.Applied mathematics and computation. 2003, Vol 137, Num 2-3, pp 589-593, issn 0096-3003, 5 p.Article

Contract-based testingAICHERNIG, Bernhard K.Lecture notes in computer science. 2003, pp 34-48, issn 0302-9743, isbn 3-540-20527-6, 15 p.Conference Paper

The crystal structure of katoite and implications within the hydrogrossular group of minerals = La structure cristalline de la katoïte et ses implications dans le groupe de l'hydrogrossulaireSACERDOTI, M; PASSAGLIA, E.Bulletin de minéralogie. 1985, Vol 108, Num 1, pp 1-8, issn 0180-9210Article

A calculus for probabilistic languagesPARK, Sunawoo.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 38-49, issn 1523-2867, 12 p.Conference Paper

WHAT IS A SYSTEM OF PARAMETERS?FOULI, Louiza; HUNEKE, Craig.Proceedings of the American Mathematical Society. 2011, Vol 139, Num 8, pp 2681-2696, issn 0002-9939, 16 p.Article

Refinement calculus : A basis for translation validation, debugging and certificationKUNDAJI, Rohit N; SHYAMASUNDAR, R. K.Theoretical computer science. 2006, Vol 354, Num 1, pp 153-168, issn 0304-3975, 16 p.Conference Paper

ArcAngel: a tactic language for refinementOLIVEIRA, Marcel; CAVALCANTI, Ana; WOODCOCK, Jim et al.Formal aspects of computing. 2003, Vol 15, Num 1, pp 28-47, issn 0934-5043, 20 p.Article